1. Mathematical knowledge management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004 : proceedings
پدیدآورنده : Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec )eds.(
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Mathematics,Mathematics -- Congresses ، Information storage and retrieval systems,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
3119